-
1 Peirce function
функция Пирса; функция НЕ-ИЛИ; функция отрицания дизъюнкции -
2 Peirce function
1) Математика: стрелка Пирса (логическая функция)2) Вычислительная техника: функция Пирса, функция отрицания дизъюнкции, функция НЕ - ИЛИ -
3 Peirce function
Большой англо-русский и русско-английский словарь > Peirce function
-
4 Peirce function
стрелка [функция] Пирса; функция ИЛИ-НЕ; функция отрицания дизъюнкцииEnglish-Russian dictionary of computer science and programming > Peirce function
См. также в других словарях:
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
МНОГОЗНАЧНЫЕ ЛОГИКИ — МНОГОЗНАЧНЫЕ ЛОГИКИ обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям “истина” и “ложь” добавляются и другие (промежуточные) значения. Этот факт указывает на то … Философская энциклопедия
МНОГОЗНАЧНЫЕ ЛОГИКИ – — обобщение классической двузначной логики (см. Логика высказываний) к примеру, посредством которого к обычным истинностным значениям «истина» и «ложь» добавляются и другие (промежуточные) значения. Этот факт указывает на то, что принцип… … Философская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
Критерий Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые… … Википедия
ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… … Философская энциклопедия
Алгебра логики — Не следует путать с булевой алгеброй. Алгебра логики (алгебра высказываний) раздел математической логики, в котором изучаются логические операции над высказываниями[1]. Чаще всего предполагается (т. н. бинарная или двоичная логика, в… … Википедия